// 只能用于 extends 条件类型中
{
    // infer R: 定义一个数据类型R
}